Lambda calculus definition

#	Item
11	A Stochastic l-Calculus Dana S. Scott University Professor, Emeritus, Carnegie Mellon University Visiting Scholar, UC Berkeley As a formal theory, the l-Calculus has equational rules for the explicit definition of functi Add to Reading List Source URL: www.pfeifer-research.de Language: English - Date: 2013-05-20 07:44:50 Computability theory Models of computation Logic in computer science Lambda calculus Function Combinatory logic Denotational semantics Type theory John Myhill Mathematics Theoretical computer science Mathematical logic
12	DISINTEGRATION OF MEASURES BEN HAYES Definition 1. Let (X, M, λ), (Y, N, µ) be sigma-finite measure spaces and let T : X → Y be a measurable map. A (T, µ)-disintegration is a collection {λy }y∈Y of measures on M Add to Reading List Source URL: www.math.ucla.edu Language: English - Date: 2013-10-31 12:03:11 Operator theory Support Radon–Nikodym theorem Lambda calculus Combinatory logic Compact operator on Hilbert space Mathematical analysis Spectral theory Measure theory